* doc/syntax/refinements.rdoc : Fix a missing quote