Corrects bug #76.