re-indent properly according to Linux's style.