Bugfix annotation