Fixed bug causing incorrectly numbered labels for jumpz in PHP backend