Corrected small thing in doc
Minor doc addition