Minor fixes to workflow