__decoder__: cosmetic fix.