Fix out-of-date comments