fix broken jump handling
restore format of those jump table comments