Fix compilation.

    We shouldn't jump to a nonexistent label.