space missing in a formatting string