Fixing typo in developer documentation