implement UNDOCKED in toString