Minor assertion added