Fixed bug in dots_kernel and dod-files.