Fix typo in bootstrap script.