A couple of fixes in the developer doc