4.2: last bugfixes