Minor corrections to the developer instructions