Fix bug in documentation.