diff --git a/org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/internal/themes/AbstractThemeManager.java b/org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/internal/themes/AbstractThemeManager.java
index 6eff6c730..bb3f8f1d8 100644
--- a/org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/internal/themes/AbstractThemeManager.java
+++ b/org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/internal/themes/AbstractThemeManager.java
@@ -138,7 +138,7 @@ public IThemeAssociation[] getAllThemeAssociations() {
 	}
 
 	@Override
-	public ITokenProvider getThemeForScope(final String scopeName, final RGB background) {
+	public ITheme getThemeForScope(final String scopeName, final RGB background) {
 		return getThemeForScope(scopeName, 0.299 * background.red
 				+ 0.587 * background.green
 				+ 0.114 * background.blue < 128);
diff --git a/org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/themes/IThemeManager.java b/org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/themes/IThemeManager.java
index 23b53d929..5a5dbba6e 100644
--- a/org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/themes/IThemeManager.java
+++ b/org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/themes/IThemeManager.java
@@ -138,5 +138,5 @@ public interface IThemeManager {
 	 *
 	 * @return the theme that will fit best for the defined background color
 	 */
-	ITokenProvider getThemeForScope(String scopeName, RGB background);
+	ITheme getThemeForScope(String scopeName, RGB background);
 }