small fix on github