Fix bug with """ in syntax help messages
(cherry picked from commit 7e8314070806610c62a3a89a24847c7c518c4391)