various nitpicky cleanup on README