We usually wouldn't place a blank line here.