Actually, better fix is to assert