Tests to reproduce bug #135, could not reproduce it