better RexTFV status

Closes #807