re-added lost symbols