get_destination_from_headers(): Remove comment about code duplication