I wonder if "String" should get the literal-quotes.