This is actually a really interesting example of the "space before punctuation" thing rather than " space before punctuation ".

Also: it looks like we're using colons differently, is that right?