Bumped version to 1.3.1; Updated ChangeLog.