stopped experimenting with alternative toc-title attributes - seems not to work...