Yes, this actually spots the bug