Checking a bug