So did Michael Tarver really get released?