Being very picky, but this comment is not quite consistent with the rest. `//If we want...`