Fix encoding in 2.cpp and 3.cpp