minor edit to how-to-use_dev.py