Fixing issue in doc with double colons