Comment by enrico204

Ooops! Clearly a typo :-)

I've fixed it, the cached version should expire shortly.