Updated bug in documentation.