fix Printf typo