Wanted to fix a small error on Wikipedia but seems impossible due to how complicated the source text is :)