This seems a bit out of place, I think we can probably just omit it actually.