this fix might be a hack, but should fix the issue reported by Bob.