renamed examples 8.12 and 8.13 to 8.2 and 8.3