adopt the more friendly toString method and discard the old one