Little bug in documentation