Update bootstrap.php

Oops...