Fix pragma editing

Fix a bug in the pragma editing that made it impossible to change some
pragmas because the new values were not put in quotes.