diff --git a/services/web/public/coffee/ide/labels/LabelsManager.coffee b/services/web/public/coffee/ide/labels/LabelsManager.coffee
index fa86414139..8c091783f1 100644
--- a/services/web/public/coffee/ide/labels/LabelsManager.coffee
+++ b/services/web/public/coffee/ide/labels/LabelsManager.coffee
@@ -26,8 +26,8 @@ define [
 			docId = @ide.editorManager.getCurrentDocId()
 			docText = @ide.editorManager.getCurrentDocValue()
 			labels = []
-			re = /\\label{(.*)}/g
-			while labelMatch = re.exec(docText)
+			re = /\\label\{([^\}\n\\]{0,80})\}/g
+			while (labelMatch = re.exec(docText)) and labels.length < 1000
 				if labelMatch[1]
 					labels.push(labelMatch[1])
 			@state.documents[docId] = labels