Another small fix before release