Re: [Monetdb-developers] incorrectly marked keyed