Some minor housekeeping and some changes to the README