don't double space in the default formatter