Correction for workshop