this is checked elsewhere