Another small bugfix in PassFold.