Minor fix for dumping non-alphanumeric database names