3 ms·

Yeah, there were some weird bugs about that. I remember one in a media player. Also "info".upper() would be İNFO probably.