textual adjustments

19 jobs for MonetDBEx in 2 minutes and 55 seconds (queued for 9 seconds)