bug #3153: fixed