Fixed bug in documentation