Further printf fixes
Fixed bug with new printf extensions