Fix slight problems in examples