A nice bug