Comment fix

We don't include <stdio.h> for main.