Another minor bug fix with the last release