diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml
index f0a9ff6..9797f15 100644
--- a/.github/workflows/develop.yml
+++ b/.github/workflows/develop.yml
@@ -127,7 +127,13 @@ jobs:
       
       - name: Commit and push to main
         run: |
+          cp -r docs/dev /tmp/dev-docs-temp
+          
           git checkout main
+          # Restore the newly generated docs
+          rm -rf docs/dev
+          cp -r /tmp/dev-docs-temp docs/dev
+          
           git config --local user.email "action@github.com"
           git config --local user.name "GitHub Action"
           git add -f docs/dev/
diff --git a/ontology/modules/observation/0.1/observation.ttl b/ontology/modules/observation/0.1/observation.ttl
index 51d06de..3cd3ff6 100644
--- a/ontology/modules/observation/0.1/observation.ttl
+++ b/ontology/modules/observation/0.1/observation.ttl
@@ -186,15 +186,15 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
                   rdfs:label "Observation Value" .
 
 
-###  http://w3id.org/PLCO/ontology/resourceODP#StateProperty
-<http://w3id.org/PLCO/ontology/resourceODP#StateProperty> rdf:type owl:Class .
+###  http://w3id.org/PLCO/ontology/product#StateProperty
+<http://w3id.org/PLCO/ontology/product#StateProperty> rdf:type owl:Class .
 
 
 #################################################################
 #    General axioms
 #################################################################
 
-[ owl:intersectionOf ( <http://w3id.org/PLCO/ontology/resourceODP#StateProperty>
+[ owl:intersectionOf ( <http://w3id.org/PLCO/ontology/product#StateProperty>
                        [ rdf:type owl:Restriction ;
                          owl:onProperty :isObservedBy ;
                          owl:someValuesFrom :Observation