Checkpoint

Minor documentation improvements.