repair addition for pull request #328