Main.cpp: fix type mismatch