Single tests are corrected. Some small bugs are fixed in brute.c.