icc 2015: small style fix