Minor fixes
Minor update before a push to website