Update version number to 13.0.1.