fix for bug #57