Make it github-compatible