minor developer doc fixes/updates