A single blank line is good enough. Same below.