oops, this appears to have already been done. I should have placed my comment 1 line lower, and it would have disappeared when you made the change.

Nope this seems correctly.