Bug: Themes displayed in random order

In the Product Backlog Themes are displayed in random order.

Especially, depending on which ones are selected, checkboxes change order betweed edits. Additionally, Theme lists for Stories tagged with multiple (but the same) Themes are displayed in different order.