add additional assertion