Correct some workshop errors