Index: code/menuui/mainhallmenu.cpp
===================================================================
--- code/menuui/mainhallmenu.cpp	(revision 8690)
+++ code/menuui/mainhallmenu.cpp	(working copy)
@@ -1102,11 +1102,15 @@
 	}
 }
 
-// render all playing misc animations
+/**
+ * Render all playing misc animations
+ *
+ * @param frametime Animation time
+ */
 void main_hall_render_misc_anims(float frametime)
 {
 	int idx, s_idx, jdx;
-	SCP_vector<bool> group_anims_weve_checked;
+    std::deque<bool> group_anims_weve_checked;
 
 	// render all misc animations
 	for (idx = 0; idx < Main_hall->num_misc_animations; idx++) {
Index: code/ship/ship.h
===================================================================
--- code/ship/ship.h	(revision 8690)
+++ code/ship/ship.h	(working copy)
@@ -727,7 +727,7 @@
 	int ab_count;
 
 	// glow points
-	SCP_vector<bool> glow_point_bank_active;
+    std::deque<bool> glow_point_bank_active;
 
 	//Animated Shader effects
 	int shader_effect_num;