Robin found a bug: