fix github fuck-up #3