Corrects bug #94.