Version bump to 1.13.1.