> This matches the rest of the file's style, though.

Somewhat. The file is inconsistent :(. It should be changed, IMHO