Updates to the developer guide