diff --git a/src/Counters.cpp b/src/Counters.cpp
index d0bb56faf6..d7ef519ab8 100644
--- a/src/Counters.cpp
+++ b/src/Counters.cpp
@@ -451,7 +451,7 @@ docstring Counters::theCounter(docstring const & counter,
 	if (smit != sm.end())
 		return counterLabel(smit->second, lang);
 
-	vector<docstring> callers;
+	deque<docstring> callers;
 	docstring const & fls = flattenLabelString(counter, appendix(),
 						   lang, callers);
 	sm[lang] = fls;
@@ -462,7 +462,7 @@ docstring Counters::theCounter(docstring const & counter,
 docstring Counters::flattenLabelString(docstring const & counter, 
 				       bool in_appendix,
 				       string const & lang,
-				       vector<docstring> & callers) const
+				       deque<docstring> & callers) const
 {
 	docstring label;
 
diff --git a/src/Counters.h b/src/Counters.h
index d83c64e59d..71ae36e8a6 100644
--- a/src/Counters.h
+++ b/src/Counters.h
@@ -21,7 +21,6 @@
 
 #include <map>
 #include <deque>
-#include <vector>
 
 
 namespace lyx {
@@ -189,7 +188,7 @@ private:
 	 */
 	docstring flattenLabelString(docstring const & counter, bool in_appendix,
 				     std::string const &lang,
-				     std::vector<docstring> & callers) const;
+				     std::deque<docstring> & callers) const;
 	/// Returns the value of the counter according to the
 	/// numbering scheme numbertype.
 	/** Available numbering schemes are arabic (1, 2,...), roman