fourth commit: fix a small problem in the webpage