more hack in the odoc_stog generator