doc/developer: minor typo and consistency fixes