1377 all provers

fixes #1377 and #1378