Plug for "Topology and Groupoids"