fixed an incorrect assertion