Fixed symbol extensions.