Fix a typo and note that this is out of date.