Moved a comment in bootstrap.inc.