Minor symbol fix