fix 3 places with typo of 'symbolic'