Remove DOUBLE_COLON, too