Fixed a few small issues in the developer's guide.

Review: https://reviews.apache.org/r/18891