Typo fix in developer docs