fix redef mistake