a bug went unnoticed