Version mini-bug fix.