Fix double space problem in default formatting