These are required by the bootstrap.