Added a little correction to a comment