Oops, just merged. Missed this comment by a few seconds.