Fix to dev guide