And fix auto-local-symbol