main.c: minor code formatting fixes