That's fair; I tend to like monospacing this for style, but it's not even needed and definitely not semantic.