* fix some symbols