Avoid an Xcode warning