davidm minor doc formatting