Fixes to 01-README