minor fixes before release