Minor markup fix: missing italic in Semantic section of 7.8.4 String Literals