Minor bugfix in examples