Add Jeroen Janssens's jump functions