Fix docs about `sourceFile`/`directSourceFile`.