Use BeautifulSoup to prettify HTML