Updates per PR #422.