Fix Github PR comment

One last time :)