The original post had an error. I just updated the post with a correction.