Bugfix notation