Pull request that fixes the opera mini issue (#59)

Enjoy https://github.com/josh/useragent/issues/59