Fix comment in bootstrap script.