module: correct the order of the assertions