Superfluous blank line, given the style in the rest of the file.