Added Extension.toString().