The empty line before `end`