Made a small fix. The broke internal labels for pause statements