README corrections from Boaz