minor workflow-related fixes