Merge with branch seb completed (was erroneous before).