Fix typo in jumptable.config