Fix issue #75(3)