maybe an error message here, should not happen in happy path