Make 'domtool -tc' (no other arguments) work properly