kleine taalwijziging

kleine taalwijziging bij 7.5.4 example 11