Update comment

Let's be honest, I'm just testing GitHub's ability to edit PR's from the web..