Symbols are back,fixing #14 (and #10 from the previous commit)