This was in existing code. Nevertheless, I fixed it.