Fixed symbol name in T11