Fix for new printf