Minor change in NSObjCRuntime.h