On Mon, Apr 18, 2011 at 09:57:25PM +0100, Ben Hutchings wrote:> Would be better without the magic numbers.Yes, of course, you are right, and also about patch #3.Please take a look at v15 and see if it improves things.Thanks,Richard