Fix bug in prop_choicesHeadCountIsTailLengthProduct