Minor BeautifulSoup workaround