Consistently optional 'eol' after 'end'