fix warning about DoubleType