main.cc: Fix the default decoder using "states"