Formatting stuff. Convert tabs to spaces, shorten lines to 80, etc. First