Bug caused by earlier fix fixed.