Does anyone know what the purpose of the extension on the end of the gas plug is for? It's the piece that looks like a martians antenna...