Fix name of bootstrap script in documentation