Removed double-colons