fix github induced bug