Testing and debugging show it is totally fine and that you're incorrect. Remember RNG is a thing.
HTML use enabled
Smilies option ON Smilies lookup table