Changes for published version 1.2.