Small changes to c printf to fix syntax