Added additional assertion