Forgot to make pdf before pushing