Good catch there, he probably does. The pins marked as analogue input A0 to A6 can be used as normal digital inputs / outputs and are not PWM capable pins.
As you pointed out a PWM capable pin is normally marked with a ~ next to the pin number.
Here is an animated gif of PWM
From my tutorial on PWM
http://www.thebox.myzen.co.uk/Tutorial/PWM.html