Could this be inlined in `view_destination` since it is not being used anywhere else?