patching bug #134