Tiny fixups before release