Fix minor things before release