fix kloosterman test