fix bug at auctex
merged