A few small fixes for toc, headers, and simplify platform example