Turns out not to be the case.