Make GitHub happy