Added label to one of the GOTO statements.
Simplified Label construction with OptLabel.