typo in weird printf