Make GitHub happy.