README: more minor clean up