Fix non-compiling assertion