Small fix to HTML formatting in intro paragraph