Correct assert module