minor assumption test correction