Minor corrections to version 3.4.1, not released yet.