Fix #392. Add theme_range().
Update binary.