Fix to issue #3