I would say no extra newline here.