Fix various broken things in docs