Minor fix regarding Atrad