Never mind - these are checked already.