recommended change in text from Geert de Graaf :¬)