Technical fixes

Fixed a technical issue in the documentation website.