Found a bug: add a failing test