some minor changes of line spacing