Fix running dolphin with a single flag.