Update bootstrap.php

see last commit