fix mistyping in main.c