fix unknown symbol