Fix up for GitHub!