Fix #738: Correct overloading when exporting toString