Fix out-of-date comment