Fixing some unintentional changes to the website.