Corrects bug #54.