Little error corrected in documentation