Some minor fixes and documentation touchups.