fix typo introduced in 2483e128309f31a4b8d06fc6a1899c4f926af12c

Sorry for that :-)