Fix a harmless bug

It's so stupid, I'd rather not talk about it :)