fix dumpOptions()