Verifying a bug ;-)