FIxed bug in documentation