Examples page typo

I think this is a typo; I could be wrong, though.