fix typo in definition of weakened variable