Fix a couple printf buffer issues