Fix a case of mismatched types in an Add that turned up in 447.dealII.