I don't think it's meant as a nitpick but more of a "hey, you may not know this but here's a helpful thing". The comment seems to have been both worded and received in that positive way and that's a great thing if you ask me :)