Corrected WHNF condition.
Prettier examples.