Correct sign of assert