Erm, this comment actually was meant to apply to an earlier version of your change! While I was writing the comment, you changed the code! But GitHub didn't tell me that, it just applied my comment to a different part of your code, for which the comment doesn't make any sense! So GitHub wasn't helpful in this case. :-/