Michael noticed the same thing yesterday when we were reviewing the pull request. I didn't had time to fix it, that's why I added the TODO.