this hack is only relevant for the bootstrap