spacing fix for #1210