minor doc corrections :)