This fix addresses successfully issue #1541 (as already suggested there)