fix some test outputs
Merge pull request #5 from tjhei/pr_wb_symbolic

fix some test outputs of your PR