Fix new date editing bug in user editor: we must use the numeric format
for dates when creating strings to be edited.