This fixes #8182.  I added a close mark.