bugfix - tolerate bad num_spikes in tet header