Remove some out-of-date comments