Minor updates to dev_guide