fixed a @file-is mistake, race?