more minor cleanup in README