Release 1.2.13

release an important fix (as people have requested this: #1953,#1885 )