Fixes to the workflow tutorial for 4.2.c