Choises - a typo? Should be called choices?

[Johannes Rudolph]

I'm not a native english speaker... but choises looks like a potential typo to me. Was it deliberately called that way or did you intend it to be called choices instead?

[Apostolos Siokas]

Yes it was a typo. Thank you! (Fixed in c102d0f)