readOFF: quenched a warning