Formatting: no trailing blank lines