Found a small bug in the reset-function in basis.cpp, only affecting multiple runs