fix for bug #33