auto-indent: unindent goto labels.