halted() now returns the correct state after calling reset()