Tabbing дает ошибку в доказательстве general/emacs

У меня есть emacs 23.3.1 на Ubuntu 12.04 LTS, с общим доказательством 4.2. При редактировании файлов coq в режиме "coq Holes" (который используется по умолчанию, когда я хакую coq), я не могу перейти. Это дает ошибку