Minor correction to rendered HTML