fixed error with printf