Fix some developer doc typos.