Fixup ice-options
Merge pull request #208 from martinthomson/ice-options

Fixup ice-options