diff --git a/validation-model/src/main/java/org/verapdf/gf/model/GFModelParser.java b/validation-model/src/main/java/org/verapdf/gf/model/GFModelParser.java
index 25d357594..ddd802ba6 100644
--- a/validation-model/src/main/java/org/verapdf/gf/model/GFModelParser.java
+++ b/validation-model/src/main/java/org/verapdf/gf/model/GFModelParser.java
@@ -206,8 +206,7 @@ private static PDFAFlavour obtainArlingtonFlavour(PDDocument document, PDFAFlavo
 		Float version = cosDocument != null ? cosDocument.getHeader().getVersion() : null;
 
 		PDCatalog catalog = document.getCatalog();
-		ASAtom versionValue = catalog != null ? catalog.getNameKey(ASAtom.VERSION) : null;
-		Float catalogVersion = versionValue != null ? Float.valueOf(versionValue.getValue()) : null;
+		Float catalogVersion = catalog.getFloatVersion();
 
 		if (catalogVersion != null && (version == null || version < catalogVersion)) {
 			version = catalogVersion;