ttoc#View(): Use a clean filename