Bug in GitHub

This change is due to a bug in GitHub md pages when showing c++
strings containing \"