Doc: minor cleanup