test for bug #143
Looking into bug #143