Belatedly -- yup there was a bug, we're putting out a fix for it soon, thank you for your report (<3)

PS. we have a bug open for having the name of the theme in the styles credits box :D I even think someone may have claimed it, or at least is eyeing it with interest!