Yes, you are right. I fixed it and pushed.