to comply with Pydev "TextStyled" class name