Readme updates and fix the halt example.