minor changes to readme again for the twelf? time