[dev] Small documentation updates.