Added symbols that were missing