Prettier printing of Files