Minor typo fix

Removed double-colon in an example, pointed out by Changshu Jian.