Fix Crag test