hacking some fixes for the docs.