diff --git a/src/plugins/WebOfTrust/Configuration.java b/src/plugins/WebOfTrust/Configuration.java
index 3f407407d..cc1244646 100644
--- a/src/plugins/WebOfTrust/Configuration.java
+++ b/src/plugins/WebOfTrust/Configuration.java
@@ -69,10 +69,12 @@ public synchronized void storeAndCommit() {
 	}
 	
 	public int getDatabaseFormatVersion() {
+		// checkedActivate(depth) is not needed, int is a db4o primitive type
 		return mDatabaseFormatVersion;
 	}
 	
 	protected void setDatabaseFormatVersion(int newVersion) {
+		// checkedActivate(depth) is not needed, int is a db4o primitive type
 		if(newVersion <= mDatabaseFormatVersion)
 			throw new RuntimeException("mDatabaseFormatVersion==" + mDatabaseFormatVersion + "; newVersion==" + newVersion);