Fixes for release 1.2.3.