US80, US280, and US431 share a concurrency in eastern Alabama. It appears that US80 has an additional waypoint (OpelRd) between the waypoints where US80 breaks off east and west (on US280 and US431 those points are US80_W and US80_E). If both US280 and US431 have OpelRd waypoint added, the concurrency would be shown properly. I just drove this route and can confirm all three are concurrent.