Small documentation updates.