Is this file a mistake?