minor fix of RichText