get rid of a (wrong) gcc warning