Fixed one minor bug in toString(), which caused bad DOM printing.