Very minor style issue: one newline too many.