round(E) but still rnd(-1.5) in the example in HTML manual 1.3.0

The arithmetic evaluation is round(E), which works fine, but the example in 
my HTML manual for 1.3.0 still uses rnd(E) instead, during the discussion of
using the integer_rounding_function flag.  I'm not sure this was reported.

Dave