Fix Wondex decoder (fix #730)