Bugfix for wrong annotation