A bunch of miscellaneous fixes

Missing newline.