Update to version 1.3 (see file CHANGES)