Trivial change to main.c