Minor bugfix having to do with reset