Trivial reformatting and comment typo fix.