Minor point, but StringAttr would be more appropriate