Bug apparently fixed.