diff --git a/PKHeX.Core/Saves/SAV4.cs b/PKHeX.Core/Saves/SAV4.cs
index 421599e82..626514ef7 100644
--- a/PKHeX.Core/Saves/SAV4.cs
+++ b/PKHeX.Core/Saves/SAV4.cs
@@ -34,6 +34,7 @@ public abstract class SAV4 : SaveFile, IEventFlag37, IDaycareStorage, IDaycareRa
     protected abstract IReadOnlyList<BlockInfo4> ExtraBlocks { get; }
 
     public abstract Zukan4 Dex { get; }
+    public sealed override bool HasPokeDex => true;
 
     protected abstract int EventFlag { get; }
     protected abstract int EventWork { get; }
@@ -92,7 +93,7 @@ public sealed override void CopyChangesFrom(SaveFile sav)
     public sealed override int BoxCount => 18;
     public sealed override int MaxEV => EffortValues.Max255;
     public sealed override byte Generation => 4;
-    public override EntityContext Context => EntityContext.Gen4;
+    public sealed override EntityContext Context => EntityContext.Gen4;
     public int EventFlagCount => 0xB60; // 2912
     public int EventWorkCount => (EventFlag - EventWork) >> 1;
     public sealed override int MaxStringLengthOT => 7;
diff --git a/PKHeX.Core/Saves/SAV4Pt.cs b/PKHeX.Core/Saves/SAV4Pt.cs
index 2d076edc6..b81ca6ecb 100644
--- a/PKHeX.Core/Saves/SAV4Pt.cs
+++ b/PKHeX.Core/Saves/SAV4Pt.cs
@@ -61,7 +61,6 @@ public SAV4Pt(byte[] data) : base(data, GeneralSize, StorageSize, GeneralSize)
     private const int OFS_VillaFurniture = 0x111F;
 
     private const int PokeDex = 0x1328;
-    public override bool HasPokeDex => true;
 
     private void GetSAVOffsets()
     {