Known as: additional gasket