Added whitespace between variables in abstractions