Sorry, it's indeed wrong. Just in another place in that file.