StringLiteral: make it more readable