Tighten language in comments

Thanks, @mdengler!