Tweak to fix incorrect revision number on 3.1 release.