corection_1718

correction for #1718