1377 all provers

fixes #1377 and #1378
"satalax" should be "Satallax"