Work on bug #7097.  I fixed a style problem.