Fix to issue #1301

...