updated to current Peano revision