tools/install-decoders: Minor consistency fix.