Typo in developer-guide.
Merge pull request #1236 from jmaas/master

Typo in developer-guide.