Resetting to Bastian's version, for reals