Small cleanups and documentation improvements.