Release 1.0.1: bug fixes, rounding off details