A style niggle: the indentation is incorrect here.  The comment should be aligned with the text on the next line, not be to the left of it.