Respond tag for "Leave a comment" link

I am currently using the twentythirteen theme from wordpress, and there is a Leave a comment link below each summary post on the home page. This contains a #respond appended to the link. This doesn’t work with comments-evolved out of the box. I have sorted it out by adding the following line to the container.php file of your plugin at line number 33:

</script>
<div id="comment-tabs">
<a name="comments"></a>
<a name="respond"></a> /* Added this line */
  <?php
    if(!empty($options['comment_area_label'])) {

Now it all works as expected. Is this the best way to have gone about fixing this, or is there another file/setting somewhere that I should have altered?

https://www.ads-software.com/plugins/gplus-comments/