minor editing of developers' README