Slightly improving printf