Fix comments for #3160