Possibly you read an early version of the comment before I edited it.