Minor tweaks and README.