[typo] Bool_val to Double_val