Some minor amendments