LGTM, pushed as c06c7a3aec38471dae3fb88f64558921003b2590.

Thanks!