Minor floating-point fixes. Notes added