dolphin and a few other shortcuts