changed small thing in documentation