fix warning re. unused parameter

the holy war against warnings continues ;-)