\begin{theorem}[Local Lemma]

[Hal Kierstead]

After I import a tex file with a line like \begin{theorem}[Local Lemma], LyX 
produces a tex file with the line changed to \begin{theorem}{[}Local Lemma{]}.  
Is this a known bug.

Hal