Bug fix: short strings with newline characters were not correctly surrounded by double quotes.