fix up ToC dropdown thing