Slight improvements to 80-character lines and etc. in docs