fix double-@ in Prelude code