Fixed bug in documentation.