Fix an error in ZMF spec; add unittest for DI