Minor changes to readme files and so on