bugfix in docs