Fix minor symbol errors