Pardon for prompting about such a trivial patch, but I'm never sure, besides it looks like the wrong name was there for years.