Example of a bug