fixing a double-quote bug