Nevermind, now that I see it is correct