Dmitri’s Comment

Thanks for pointing that out, Bob! I’ve verified (with a ruler) and updated the article.