More minor doc cleanup