release v13.1: bug fixed