quiet compiler warning (jacquesg, fixes #2)
this is no longer used