fix missing double