How did the bug originate and what about the timestamp fixed the problem?