buglet (bad test count), reported by George Hartzell