LGTM, of course. Please commit such simple, trivial, and uncontroversial changes directly to the git repository.