trivial change from icc warning