Fix another symbol related typo