fix dumpOptions() 2