fix for bug #143