A debugging exercise