Fix examples (corrections by Jelke Bloem).