Argh. My bad. I was messed up by GitHub's UI and collapsed lines. Forget about this.