fix symbol adding in history