Fix falling in holes while jumping. Fix #433.