Actually use shipcount when updating probabilities.