style: preserved a blank line after the goto labels.