diff --git a/interface/definition b/interface/definition
index 1ce6fe02a..5269e50f7 100644
--- a/interface/definition
+++ b/interface/definition
@@ -26,8 +26,8 @@ Definition
 			TypeAlias
 				tpe: Type
 			TypeDeclaration
-				upperBound: Type
 				lowerBound: Type
+				upperBound: Type
 
 Type
 	SimpleType
@@ -48,6 +48,7 @@ Type
 	Structure
 		parents : Type*
 		declarations: Definition*
+		inherited: Definition*
 	Existential
 		baseType : Type
 		clause: TypeParameter*
@@ -74,6 +75,7 @@ Modifiers
 	isSealed: Boolean
 	isImplicit: Boolean
 	isLazy: Boolean
+	isSynthetic: Boolean
 
 ParameterList
 	parameters: MethodParameter*
diff --git a/interface/src/main/java/xsbti/AnalysisCallback.java b/interface/src/main/java/xsbti/AnalysisCallback.java
index 4c7bb8689..2372a408b 100644
--- a/interface/src/main/java/xsbti/AnalysisCallback.java
+++ b/interface/src/main/java/xsbti/AnalysisCallback.java
@@ -34,6 +34,6 @@ public interface AnalysisCallback
 	public void endSource(File sourcePath);
 	/** Called when a module with a public 'main' method with the right signature is found.*/
 	public void foundApplication(File source, String className);
-
+	/** Called when the public API of a source file is extracted. */
 	public void api(File sourceFile, xsbti.api.Source source);
 }
\ No newline at end of file