fix string output of __tostring