Prepared hotfix release 1.3.1.

- Fixed issue #1.
- Updated tests.
- Updated build properties.