doc: minor changes in developer's guide