restore @ in EXTScope.h comment