Remove superfluous double dot