fix for bug #133