OSI report: fixes #13. Fixes #14.