add missing symbols