Release 1.1.2: minor improvements.