Fixed another bug in smalltest...