documented bugfix