Fix one comment and update another. Slightly reformat.