Getting rid of extra spacing that used to be used for pretty printing

Getting rid of this because it also messes up pre tags.