minor bug fix: unknown variable in sesolve made some tests fail