minor edits to ice3x fix #1408 fix #992

[ci skip]
This tag has no release notes.