Corrects bug #71.