Fixes about preliminary implementation/interoperability reports

Issues #10 and #11.