diff --git a/readium/navigator/src/main/java/org/readium/r2/navigator/pdf/PdfNavigatorFragment.kt b/readium/navigator/src/main/java/org/readium/r2/navigator/pdf/PdfNavigatorFragment.kt
index 1d262d405c..7ef1bdd98e 100644
--- a/readium/navigator/src/main/java/org/readium/r2/navigator/pdf/PdfNavigatorFragment.kt
+++ b/readium/navigator/src/main/java/org/readium/r2/navigator/pdf/PdfNavigatorFragment.kt
@@ -45,12 +45,12 @@ import timber.log.Timber
* To use this [Fragment], create a factory with [PdfNavigatorFactory.createFragmentFactory].
*/
@ExperimentalReadiumApi
-class PdfNavigatorFragment, E : PreferencesEditor
> internal constructor(
+class PdfNavigatorFragment> internal constructor(
override val publication: Publication,
initialLocator: Locator? = null,
initialPreferences: P,
private val listener: Listener?,
- private val pdfEngineProvider: PdfEngineProvider
+ private val pdfEngineProvider: PdfEngineProvider
) : Fragment(), VisualNavigator, Configurable {
interface Listener : VisualNavigator.Listener {
@@ -107,7 +107,7 @@ class PdfNavigatorFragment by viewModels {
+ private val viewModel: PdfNavigatorViewModel by viewModels {
PdfNavigatorViewModel.createFactory(
requireActivity().application,
publication,
diff --git a/readium/navigator/src/main/java/org/readium/r2/navigator/pdf/PdfNavigatorViewModel.kt b/readium/navigator/src/main/java/org/readium/r2/navigator/pdf/PdfNavigatorViewModel.kt
index 220458dfca..e67c11608e 100644
--- a/readium/navigator/src/main/java/org/readium/r2/navigator/pdf/PdfNavigatorViewModel.kt
+++ b/readium/navigator/src/main/java/org/readium/r2/navigator/pdf/PdfNavigatorViewModel.kt
@@ -22,12 +22,12 @@ import org.readium.r2.shared.publication.Publication
import org.readium.r2.shared.publication.services.positions
@OptIn(ExperimentalReadiumApi::class)
-internal class PdfNavigatorViewModel, E : PreferencesEditor
>(
+internal class PdfNavigatorViewModel>(
application: Application,
private val publication: Publication,
initialLocator: Locator,
initialPreferences: P,
- private val pdfEngineProvider: PdfEngineProvider
+ private val pdfEngineProvider: PdfEngineProvider
) : AndroidViewModel(application) {
private val _currentLocator: MutableStateFlow