Minor fixes
Mention github repo