Make documentation page work again