Removal of a double :