bugfix in parse-symbol declaration