Could someone check if ticket 93 is as serious a bug as I think it is? http://trac.mi.fu-berlin.de/seqan/ticket/93 It has been open for 3 months now Thanks, John.