Fix typo in developer docs