Doc touchups.