assert() fixed