Editorial corrections: appropriate typedefs instead of "double".