Fixes issue #27, by adding toc attribute.