Update version to 0.13.4.