Issue #2242585 by filijonka: Fix file docs in bootstrap.inc