adding semicolon at the end of printf