Fix spacing from #5628