corrected bug #9