fixed a bug in spiketimes2f that caused it not to work with some data