Fix badly broken If4f11ab

Change-Id: I9287b12722b2d8968c174bc7498846675e25bbad