Fixed bug in example 8.