Fixed incorrect parsing of named proofs

As noticed by Ray Hoobler, see http://stacks.math.columbia.edu/tag/021Y#comment-264.