spacing issue at macroexpand