Util: Changed <^> so that it collapses ".:" to ".", etc.