Added some missing symbols