Richtig. Errata sind gut. Ich habe auch schon meinen Beitrag dazu geleistet (wenn es denn der Verlag ernst nimmt!)

Da aber selbst bei der v5.18 noch

steht, kam ich da nicht drauf.