OBJ filter: on import, the total number of faces displayed in the console was wrong