renamed example 8.11 to 8.1