a few mappings for jumping around from sjl