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