Minor bug fix.
Update toc.xml