an error in optionalds corrected