IE updates

See #87