corrected double type