remove an incorrect assertion