Minor doc modification.