Added testBug942().