Get rid of (apparently unnecessary) ::