minor typo fixed in developer documentation