Updating bootstrap.inc