Fix HOPE tests