More work on bug #8313.  Fixed a parse error.