Update to erikhuda/thor@577fcc4.

Fixes #2734.