#6645: adding missing quotes