[PATCH (pkgs)] Small AUCTeX tweak