Fix: a couple minor bugs related to DStringAux;