Give credit to John Brooks for finding bug 874.