Searching for a bug