"IEEE (partial)" rule breaks ieeexplore.ieee.org

With the "IEEE (partial)" rule in HTTPS-Everywhere 5.0.2 enabled, http://ieeexplore.ieee.org breaks in two different ways:

Both problems do not appear with the "IEEE (partial)" rule disabled.

Trac:
Username: bigfoot