A few minor tweaks before release