cohomology: small change to appease 2.3.4 typechecker