termine.rst does not compile. No idea why.