Corrigendum: Maintenance of a Minimum Spanning Forest in a Dynamic Plane Graph.