trivialities
New minor release 2.3.1