Some documentation fixes and other chores.