diff --git a/user/src/com/google/gwt/user/client/ui/RichTextArea.java b/user/src/com/google/gwt/user/client/ui/RichTextArea.java
index 2ac1715..da42c3e 100644
--- a/user/src/com/google/gwt/user/client/ui/RichTextArea.java
+++ b/user/src/com/google/gwt/user/client/ui/RichTextArea.java
@@ -61,7 +61,7 @@
    * {@link RichTextArea}, use {@link RichTextArea#setHTML(String)} instead.
    * </p>
    * 
-   * @deprecated use {@link Formatter} instead
+   * @deprecated use {@link RichTextArea.Formatter} instead
    */
   @Deprecated
   public interface BasicFormatter {
@@ -196,7 +196,7 @@
    * {@link RichTextArea}, use {@link RichTextArea#setHTML(String)} instead.
    * </p>
    * 
-   * @deprecated use {@link Formatter} instead
+   * @deprecated use {@link RichTextArea.Formatter} instead
    */
   @Deprecated
   public interface ExtendedFormatter extends BasicFormatter {