Fix AUCTeX 11.87 brokenness.