fixed Github, fixes #13