issue56: spacing fix for symbols