doc: minor modifications