ChangeLog: 0.13.1 updates