Unquote to make github happy

Sigh.