* Fix build for introduction.html