TODO update.
In fact this can never be None.