Fix REC tests