fixed prints to use printf