Hi Joseph, I've just released GNU AUCTeX 11.88.7 on ELPA, and the problem should be fixed now. Please test and report back if if works now. It may take up to 24 hours until the new version actually appears in the package manager. Bye, Tassilo