Fixed one last :) bug in new printf string handling