Re: [Serusers] core dump in SER 0.9.4