fix for bug #337