proper sphinx toc