Bump version number 0.13.1-et1.