two bug fixes in monetdb scripts