fixes compilation problem

Maybe this is a deliberate mistake to start the workshop.... or maybe an oversight?