Trivial change to formatting of comments.
Solarized or BUST!