[AUCTeX] minor issue of fontification if \begin{verbatim}foo

[jfbu]

Hi,

this (with 11.89.4)

A
\begin{verbatim}foo
bar
\end{verbatim}
B
etc...
\end{document}

seems to fontify the whole buffer from that point on as
if entirely inside the verbatim.

Surely a minor issue as it is not usual (but not forbidden either)
to put something immediately after the \begin{verbatim}

Best,

Jean-Francois