Some addenda to README