Fix typo / strange presence of `double`.