Fix Alea test.