Ah, bother, GitHub confused me :(

That comment should have gone in another place. Please disregard.