emacs: bug fix, type enclosing is now cyclic, errors are synchronized at save