Working on fixing a one-symbol bug