bugfix; release 1.3.1