a few tweaks; toc bump