You're absolutely right. I fixed this as well.