If it matters, you can shave off one byte by removing the space after the ```;```.