PhlegethonTunnel code niceties.