Fix docs about `sourceFile` / `directSourceFile` options.