Fixed a bug in the workflow file