Turns out this was correct