This is redundant with the assertion below