minor doc clean-up