[Monetdb-developers] MonetDB bug?