type error correction attempt