The code is correct as-is, but I have clarified it.