Should these few lines be using the `defaultTokenProvider`?