spaces around `+`