diff --git a/terminal/src/main/java/org/jline/utils/AttributedStringBuilder.java b/terminal/src/main/java/org/jline/utils/AttributedStringBuilder.java
index 103ba60c3..40dfca702 100644
--- a/terminal/src/main/java/org/jline/utils/AttributedStringBuilder.java
+++ b/terminal/src/main/java/org/jline/utils/AttributedStringBuilder.java
@@ -134,11 +134,11 @@ public AttributedStyle style() {
         return current;
     }
 
-    public AttributedStringBuilder append(AttributedString str) {
+    public AttributedStringBuilder append(AttributedCharSequence str) {
         return append(str, 0, str.length());
     }
 
-    public AttributedStringBuilder append(AttributedString str, int start, int end) {
+    public AttributedStringBuilder append(AttributedCharSequence str, int start, int end) {
         ensureCapacity(length + end - start);
         for (int i = start; i < end; i++) {
             char c = str.charAt(i);