Release v1.0.2: bug fix.