Removed an unnecessary rassert.