Cosme: Remove a needless blank line.