Update version number.
Merge branch 'release-1.3.3' into develop