fix small problem for assert