dev_workflow: minor change