Fixes table of contents highlighting plus hopefully build problem on Travis