Another fix to openmmtools.