Check in a bootstrap script
Fix some typos?