Oh, oops that's a mistake, thanks for catching that.

Also, interesting fun fact indeed.