If a select choice is hardcoded in a formula, changing the name of the select choice also requires changing the formula. If you fail to update the formula, the formula field itself will not appear broken, but it may no longer give the correct result.