Little fix in bootstrap.