Some nicety in the readme