Documentation bugfix.