Fix issue #341 (github).