README: more polishing