Fix BAT test