Fix comment, per Mark's suggestion.