Minor alterations which did not fix any bugs