Minor double-mortal-jump improvements