Various small cleanups and documentation improvements.