slight modif of workflow.pgf