Fix github issues.