Release 1.1.3: bug fixes