Re-fix sprintf problem that was the behavior undefined