[workshop] Patch #346 - should not happen