Referencing PlasTeX bugs (#1)