Fix for github.php
not sure