Fix some unwanted empty lines in the manual.