Fix bug in documentation