Fixing documentation error with extra double-colon