make akoma ntoso export a little more strict