Documentation bugfix