syntax correction on printf statements