Correction for Travis auto-push