typo correction, and https push test