On second thought, after inspecting more of the surrounding code, this is fine.