I was wrong, your code is correct.