This fixes a typo in multiple files.
See #482

This shouldn affect the website, cause the typo got fixed in .css and
.html files.