a few fixes to NegLogInt_Fn suggested by Yukio