Add forgotten EOS symbol

0xFF is chosen because it cannot appear in a valid UTF-8 sequence