Some minor simplifications to the coral executable.