verification now compiles with added dtd ! yay