diff --git a/ivette/src/frama-c/labviews.js b/ivette/src/frama-c/LabViews.tsx
similarity index 100%
rename from ivette/src/frama-c/labviews.js
rename to ivette/src/frama-c/LabViews.tsx
diff --git a/ivette/src/renderer/ASTview.tsx b/ivette/src/renderer/ASTview.tsx
index 70b5bcef314795d51064b6543567c7fb4d58e354..0442969be8f28af6753988b6091ad4f050f2dc8c 100644
--- a/ivette/src/renderer/ASTview.tsx
+++ b/ivette/src/renderer/ASTview.tsx
@@ -10,7 +10,7 @@ import States from 'frama-c/states';
 import { Vfill } from 'dome/layout/boxes';
 import { Buffer } from 'dome/text/buffers';
 import { Text } from 'dome/text/editors';
-import { Component } from 'frama-c/labviews';
+import { Component } from 'frama-c/LabViews';
 
 import 'codemirror/mode/clike/clike.js';
 import 'codemirror/theme/ambiance.css';
diff --git a/ivette/src/renderer/Application.tsx b/ivette/src/renderer/Application.tsx
index de7ab40c13d4433f59ec79d5934eba4243335b02..e5528cd1c5b824d6b49c07cc9cd4288b9b6f1545 100644
--- a/ivette/src/renderer/Application.tsx
+++ b/ivette/src/renderer/Application.tsx
@@ -11,7 +11,7 @@ import Sidebar from 'dome/layout/sidebars';
 
 import './style.css';
 
-import { LabView, View, Group } from 'frama-c/labviews';
+import { LabView, View, Group } from 'frama-c/LabViews';
 import { GridItem } from 'dome/layout/grids';
 import Controller from './Controller';
 import Properties from './Properties';
diff --git a/ivette/src/renderer/Controller.tsx b/ivette/src/renderer/Controller.tsx
index 08c55f953a2c9ef9ad2b5a77017e675db1d77e26..17cbe7160d1493d813d0245e3023223e6735c9e8 100644
--- a/ivette/src/renderer/Controller.tsx
+++ b/ivette/src/renderer/Controller.tsx
@@ -6,7 +6,7 @@ import React from 'react';
 import Dome from 'dome';
 import Server from 'frama-c/server';
 
-import { Component, TitleBar } from 'frama-c/labviews';
+import { Component, TitleBar } from 'frama-c/LabViews';
 import { Button as ToolButton, ButtonGroup, Space } from 'dome/layout/toolbars';
 import { LED, IconButton } from 'dome/controls/buttons';
 import { Label, Code } from 'dome/controls/labels';
diff --git a/ivette/src/renderer/Properties.tsx b/ivette/src/renderer/Properties.tsx
index 2d6e3318ddf52f7e04eb3fe6c0e538a43f9f649c..b1ad77c95cee6d7eb7a0c7a26b0475f452089328 100644
--- a/ivette/src/renderer/Properties.tsx
+++ b/ivette/src/renderer/Properties.tsx
@@ -8,7 +8,7 @@ import States from 'frama-c/states';
 import { Label, Code } from 'dome/controls/labels';
 import { ArrayModel } from 'dome/table/arrays';
 import { Table, DefineColumn } from 'dome/table/views';
-import { Component } from 'frama-c/labviews';
+import { Component } from 'frama-c/LabViews';
 
 // --------------------------------------------------------------------------
 // --- Property Columns