New release 1.3.1:
  bug fixes