An example bugfix