This is odd - github has put the comment in a completely different place in the code to where I put it!